Thực đơn
Martin_Davis Cuộc đời và Sự nghiệpCha mẹ của Davis quen biết nhau ở Lodz, Ba Lan, nhưng chưa kết hôn với nhau cho tới khi họ gặp lại nhau ở thành phố New York (Jackson 2008, tr. 560). Davis lớn lên ở Bronx, và được cha mẹ khuyến khích cho học hành đầy đủ (Jackson 2008, tr. 561).
Ông đậu bằng tiến sĩ ở Đại học Princeton năm 1950, dưới sự cố vấn của Alonzo Church (Jackson 2008, tr. 560). Hiện nay ông là giáo sư danh dự ở Đại học New York.
Davis là người đồng khám phá ra các thuật toán Davis-Putnam và thuật toán DPLL (thuật toán Davis-Putnam-Logemann-Loveland). Ông là đồng tác giả (cùng với Ron Sigal và Elaine J. Weyuker) của quyển "Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science", một sách giáo khoa về theory of computability (lý thuyết tính toán được). Ông cũng nổi tiếng về mô hình Post-Turing machine (máy Hậu-Turing).
Thực đơn
Martin_Davis Cuộc đời và Sự nghiệpLiên quan
Martin Luther King Martin Ødegaard Martin Luther Martin Garrix Martin B-57 Canberra Martin B-26 Marauder Martin Braithwaite Martin Scorsese Martina Navratilova Martin LoTài liệu tham khảo
WikiPedia: Martin_Davis http://www.cs.nyu.edu/cs/faculty/davism/ http://www.alicebot.org/articles/wallace/mathemati... http://www.genealogy.ams.org/html/id.phtml?id=8018 http://www.ams.org/notices/200805/tx080500560p.pdf //www.worldcat.org/issn/0002-9920 //www.worldcat.org/oclc/1480366